x86: remove unused parameter/arguments from flush_ready_eoi()
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 28 Nov 2008 13:28:16 +0000 (13:28 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 28 Nov 2008 13:28:16 +0000 (13:28 +0000)
commit272ec2ee7d7d4d19595295b327399daddfc11080
tree6b05378b99a2c9353ff61e61ee49afe8a2b448e1
parent83850d485c89973e94552b1300bce0513426d3e0
x86: remove unused parameter/arguments from flush_ready_eoi()

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/irq.c